Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
441	Preface Numerical Computing with MATLAB is a textbook for an introductory course in numerical methods, Matlab, and technical computing. The emphasis is on informed use of mathematical software. We want you learn enough a Add to Reading List Source URL: www.mathworks.com Language: English - Date: 2013-09-25 13:50:03 Cleve Moler Array programming languages MATLAB George Forsythe MathWorks MuPAD Software Numerical analysis Computing
442	Data stories worth sharing London 29th May 2015 #Extract15 Extract Talks Add to Reading List Source URL: extractconf.com Language: English - Date: 2015-05-22 10:17:45 Analytics Mathematical finance Spotify Business Software Formal sciences Business intelligence
443	Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-12-03 07:53:01 Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics
444	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
445	Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-15 15:23:34 Theoretical computer science Constraint programming Fuzz testing Symbolic execution KeY Sage Constraint optimization Concolic testing Software testing Mathematical software Software engineering
446	PNNL_Logo_with_Battel#ABC372-white Add to Reading List Source URL: gridoptics.pnnl.gov Language: English - Date: 2014-10-29 10:39:23 Electric power transmission systems Electric power distribution Grid computing Smart grid Cross-platform software Electrical grid Pacific Northwest National Laboratory Smart meter Mathematica Science Mathematical software Computing
447	Partner Program Terms and Conditions Sage One Payroll October 2014 – September 2015 Table of Contents Add to Reading List Source URL: payroll.sageone.co.za Language: English - Date: 2014-10-27 10:33:33 Payroll Software Rebate Sage Application software Mathematical software Employment compensation Expense
448	Gurobi Optimizer Academic Program Effective 2 October 2013 Free and Significantly Discounted Academic Licenses The free Academic License for Gurobi has all the features and performance of the full Gurobi Optimizer. A fre Add to Reading List Source URL: www.gurobi.com Language: English - Date: 2015-01-09 11:57:04 Mathematical optimization Numerical software Applied mathematics Software licenses Gurobi System administration AMPL Floating licensing License Numerical analysis Mathematical software Operations research
449	SHAWNEE COUNTY, KANSAS Position Description Intermittent Summer Help POSITION NUMBER: PWX004A Add to Reading List Source URL: www.snco.us Language: English - Date: 2015-01-29 11:20:56 Tractor Mathematical analysis Continuous function X Window System Group action Software Mathematics Agricultural machinery
450	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics

UPDATE